A small VMX code cleanup.

Signed-off-by: Eddie Dong <eddie.dong@intel.com>

diff --git a/xen/arch/x86/vmx_io.c b/xen/arch/x86/vmx_io.c
index 5caa59bc0483c1e128d0ca557b4407addd0c3c2a..75c40e350f30b3be0da6f46587ae0652d5cfa294 100644 (file)
--- a/xen/arch/x86/vmx_io.c
+++ b/xen/arch/x86/vmx_io.c
@@ -748,7 +748,7 @@ void vmx_check_events(struct vcpu *v)
 {
     /* clear the event *before* checking for work. This should avoid
        the set-and-check races */
-    if (vmx_clear_pending_io_event(current))
+    if (vmx_clear_pending_io_event(v))
         vmx_io_assist(v);
 }
 

diff --git a/xen/arch/x86/vmx_vmcs.c b/xen/arch/x86/vmx_vmcs.c
index 55d7741f2e39ea9df1cf3c2340d32054ad1fefbf..d434724c1bb844c8e83c6e835bed9d0a38cdc624 100644 (file)
--- a/xen/arch/x86/vmx_vmcs.c
+++ b/xen/arch/x86/vmx_vmcs.c
@@ -243,9 +243,6 @@ static void vmx_setup_platform(struct domain* d)
 {
     struct vmx_platform *platform;
 
-    if (!(VMX_DOMAIN(current) && (current->vcpu_id == 0)))
-        return;
-
     vmx_map_io_shared_page(d);
     vmx_set_vcpu_nr(d);